第五届 Xionger 网络数学竞赛试卷 分析与方程组

 

官方微信公众号:Xionger 的数学小屋
每题暂不设分值,希望诸位尽可能多地作答.
试题解答请及时发送到邮箱 2609480070@qq.com, 逾期将取消参赛资格. 要求解答字迹清楚, 排版美观, 推荐采用 PDF 文档格式提交, 文件命名: 分析与方程组 + 昵称 (或姓名)+ 学校.
此网页版本熊赛题由 Aina Lagrange 用 Html+Javascript 排版,如果您在阅读的过程中发现任何网页的bug或者比赛结束以后对题目有疑问,可以联系 Alina Lagrange

\[ \] 1. (华中科技大学, Tao 供题)
Let \((A, \mathfrak{m})\) be a local Noetherian ring (with element 1) and \(M\) be a finitely generated \(A - \) module. A free resolution of $M$ is an exact sequence $$ \cdots \stackrel{\varphi_{k+2}}{\longrightarrow} F_{k+1} \stackrel{\varphi_{k+1}}{\longrightarrow} F_k \stackrel{\varphi_k}{\longrightarrow} \cdots \stackrel{\varphi_2}{\longrightarrow} F_1 \stackrel{\varphi_1}{\longrightarrow} F_0 \stackrel{\varphi_0}{\longrightarrow} M \rightarrow 0 $$ with finitely generated free \(A-\) {modules} \( F_i\) for \(i \geq 0\).
(a) Consider \(M / \mathfrak{m} M\) as a \(A / \mathfrak{m}- \) vector space. Let \(\left\{x_1, \ldots, x_n\right\}\) be a minimal set of generators of \(M\). Prove that \(\left\{\overline{x_1}, \ldots, \overline{x_n}\right\}\) is a basis of the vector space \(M / \mathfrak{m} M\), where \( \overline{x_i}=x_i+\mathfrak{m} M \in M / \mathfrak{m} M\).
(b) A free resolution as above is called minimal free resolution if \(\varphi_k\left(F_k\right) \subseteq \mathfrak{m} F_{k-1}\) for \(k \geq 1\). Prove that \(M\) has a minimal free resolution.
(c) If \( M\) has two minimal free resolutions $$ \begin{array}{l} \cdots \stackrel{\varphi_{k+2}}{\longrightarrow} F_{k+1} \stackrel{\varphi_{k+1}}{\longrightarrow} F_k \stackrel{\varphi_k}{\longrightarrow} \cdots \stackrel{\varphi_2}{\longrightarrow} F_1 \stackrel{\varphi_1}{\longrightarrow} F_0 \stackrel{\varphi_0}{\longrightarrow} M \rightarrow 0, \\ \cdots \stackrel{\psi_{k+2}}{\longrightarrow} G_{k+1} \stackrel{\psi_{k+1}}{\longrightarrow} G_k \stackrel{\psi_k}{\longrightarrow} \cdots \stackrel{\psi_2}{\longrightarrow} G_1 \stackrel{\psi_1}{\longrightarrow} G_0 \stackrel{\psi_0}{\longrightarrow} M \rightarrow 0, \end{array} $$ prove that \(\operatorname{rank}\left(F_k\right)=\operatorname{rank}\left(G_k\right)\) for \( k \geq 0\). \[ \] 2. (华中科技大学, Tao 供题)
\( k\) is a field. Let \( E\) be an algebraic extension of \(k\), and let \(\sigma: E \rightarrow E\) be an embedding of \(E\) into itself over \(k\). Then \(\sigma\) is an automorphism. \[ \] 3. (华中科技大学, Tao 供题)
\(k\) is a field. Let \(V\) be a \(k -\) vector space. \(W\) is a subspace of \(V, T: V \rightarrow V\) is a injective \(k-\) linear map such that \(T(W) \subseteq W\). Suppose \(V / W\) and \(W / T(W)\) are finite-dimensional \(k -\) vector spaces. Prove that as \(k -\) vector spaces, \(T(V) /(W \cap T(V))\) and \( (W+T(V)) / W\) have same dimension. \(W /(W \cap T(V))\) and \((W+T(V)) / T(V)\) have same dimension. \(V /(W+T(V))\) and \((W \cap T(V)) / T(W)\) have same dimension. \(V / T(V)\) and \(W / T(W)\) have same dimension.